田畑 博敏; "様相と証明可能性(Ⅰ)"